https://nova.newcastle.edu.au/vital/access/ /manager/Index ${session.getAttribute("locale")} 5 Formal definition of feature models to support software product line evolutions https://nova.newcastle.edu.au/vital/access/ /manager/Repository/uon:6345 Wed 11 Apr 2018 09:47:39 AEST ]]> Formal specification at model-level of model-driven engineering using modelling techniques https://nova.newcastle.edu.au/vital/access/ /manager/Repository/uon:48430 Thu 16 Mar 2023 14:17:46 AEDT ]]>